leftward extraction rule

左向缩约规则